Distribution Cryptanalysis Kaisa Nyberg Department of Information and Computer Science Aalto University School of Science June 11, 2013

Source URL: ice.mat.dtu.dk

Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators, Ben Smyth1 , Mark Ryan1 , and Liqun Chen2 1 School of Computer Science,

Source URL: www.bensmyth.com

A New Continuous Propositional Logic Riccardo Poli, Mark Ryan and Aaron Sloman School of Computer Science The University of Birmingham Birmingham B15 2TT United Kingdom

Source URL: www.cs.bham.ac.uk

Model renement and model checking for S5n Alessio Lomuscio and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT, UK

Source URL: www.cs.bham.ac.uk

On the relation between Interpreted Systems and Kripke Models Alessio Lomuscio and Mark Ryan School of Computer Science University of Birmingham Birmingham B15 2TT, UK

Source URL: www.cs.bham.ac.uk

Toward Optimal Ordering of Prediction Tasks Abhimanyu Lad Language Technologies Institute School of Computer Science Carnegie Mellon University

Source URL: nyc.lti.cs.cmu.edu

Balancing Societal Security and Individual Privacy: Accountable Escrow System Jia Liu School of Computer Science University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

Agents and Roles: Renement in Alternating-Time Temporal Logic Mark Ryan1 and Pierre-Yves Schobbens2 1 School of Computer Science

Source URL: www.cs.bham.ac.uk

Very Fast Similarity Queries on Semi-Structured Data from the Web Bhavana Dalvi School of Computer Science Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Statistical classification
• Statistics
• Search algorithms
• Support vector machine
• K-nearest neighbors algorithm
• K-means clustering
• Data
• Topological graph theory
• Learning
• Machine learning

Musical Rhythm and Computational Mathematics Godfried T. Toussaint School of Computer Science, McGill University, 3480 University St., Montreal, CanadaMathematics Subject Classification. 68R

Source URL: www-cgrl.cs.mcgill.ca